Set of Support, Demodulation, Paramodulation: A Historical Perspective

نویسندگان

چکیده

Abstract This article is a tribute to the scientific legacy of automated reasoning pioneer and JAR founder Lawrence T. (Larry) Wos. Larry’s main technical contributions were set-of-support strategy for resolution theorem proving, demodulation paramodulation inference rules building equality into resolution. Starting from original definitions these concepts in papers, this survey traces their evolution, unearthing often forgotten trails that connect those became standard field.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Spermatozoa: A Historical Perspective

The 100,000th scientific article on the subject of spermatozoa was recently published. Many studies have evaluated the characteristics of this important cell leading to great discoveries. Since its first observation and description in 1677, many important characteristics have been described regarding this highly fascinating gamete. In this review, our objective has been to provide a historical ...

متن کامل

The Local Limit Theorem: A Historical Perspective

The local limit theorem describes how the density of a sum of random variables follows the normal curve. However the local limit theorem is often seen as a curiosity of no particular importance when compared with the central limit theorem. Nevertheless the local limit theorem came first and is in fact associated with the foundation of probability theory by Blaise Pascal and Pierre de Fer...

متن کامل

Contribution of Women Scientists to Pharmacology: A Historical Perspective

The article highlights the contributions of a few prominent women scientists to the science of pharmacology. These women,some of whom were from other scientific fields, contributed significantly to our understanding of pharmacology. This was achieved in an era in which pharmacology was a more or less male dominated field. Even though it is easier for women to enter scientific fields nowadays, t...

متن کامل

the pathology of historical texts translation: a study of persian translations of 7th volume of cambridge history of iran

ترجمه با گسترش زبان آغاز شده و اهمیت آن روز به روز افزایش می یابد، و برای اولین بار به عنوان شاخه ای از دانش و روشی برای انتقال علوم، فرهنگ و تجربه در در دوره قاجار در ایران آغاز شد. در حقیقت متون تاریخی از اولین متونی هستند که در ایران ترجمه شدند چرا که به سیاستمداران آن دوره کمک می کردند تا به علل موفقیت جهان غرب و پیشرفت هایشان در طول تاریخ پی ببرند، بنابراین به تدریج ترجمه این گونه متون رون...

15 صفحه اول

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Automated Reasoning

سال: 2022

ISSN: ['0168-7433', '1573-0670']

DOI: https://doi.org/10.1007/s10817-022-09628-0